p:PosetSig. (=)  |p||p| 

latex

Up	poset sig object directory
Definitions of Statement	PosetSig, |p|, =
Definitions	t.2, t.1, =, |p|, t  T, x:A. B(x), PosetSig
Lemmas	poset sig wf